Дано:

Дан текст программы на языке С с функциями f и g. 

Предполагается, что функции f и g выполняются параллельно, в двух разных потоках управления (процессах) P_f и P_g соответственно. Будем считать состоянием модели программы совокупность значений счётчиков команд c_f и c_g процессов P_f и P_g, значения глобальных и локальных переменных заданной программы.
Неинициализированные переменные принимают специальное значение, обозначаемое символом #, лежащее вне диапазона MININT..MAXINT.

Требуется:

1. (1 балл) Оценить размер множества потенциальных состояний программы. Ответ обосновать.

2. (2 балла) Оценить размер множества достижимых состояний программы. Ответ обосновать. В обосновании описать множество достижимых состояний с помощью линейных равенств и неравенств на языке C.
Например, (c_f == 3 && a < 5) || (c_g == 4 && b > d).

3. (7 баллов) Написать программу на языке С, которая вычисляет и записывает в текстовой файл states.txt множество достижимых состояний заданной программы для заданных значений параметров функций, а также выводит в стандартный поток вывода количество достижимых состояний.
На выполнение задания отводится две недели.

Требования к файлам решения:

Решение задачи должно включать в себя 3 файла, НЕ ЗАПАКОВАННЫЕ В АРХИВ:

1.	Исходная формулировка задачи с именем task.txt

2.	Описание решения пп. 1-2 в текстовом файле с именем solution.txt. Текстовый файл должен быть в одной из кодировок: utf8, cp1251 (Windows), koi8-r. Файлы других форматов (doc, pdf, etc) не принимаются.

3.	Файл group_surname.c с программой подсчёта состояний (group - номер вашей группы, surname - ваша фамилия латиницей).

Требования к программе:

1.	Программа должны вычислять множество достижимых состояний программы, присланной вам на почту, для заданных значений параметров функций f и g. 

2.	Программа должна уметь выводить множество состояний в текстовой файл в формате:  значение счётчика f, значение счётчика g, значение h, значение f.x, значение f.y, значение g.x, значение g.y, (через запятую) по одному состоянию в строке. Значения счётчиков нумеруются с 0. Первая строка файла должна содержать описание формата вывода, а именно: c_f, c_g, h, f.x, f.y, g.x, g.y. Обратите внимание, что смена состояния программы происходит после выполнения соответствующего оператора программы (например, присваивания).

3.	Программа должны выполняться в консоли. Обязательными входными параметрами являются значения параметров функций a и b в следующем порядке: 
имя_программы <f_a> <f_b> <g_a> <g_b>
 Также должны поддерживаться параметры:
-file имя_файла - запись состояний в указанный файл, 
-count - вывод общего количества состояний программы в стандартный поток вывода. 

При запуске без параметров (либо с недостаточным количеством параметров) программа должна выводить информацию о программе, авторе, годе написания и параметрах запуска.

4.	Исходный код программы должен содержать информацию об авторе и годе написания программы.

5.	Программа должна быть написана на языке ANSI C либо ANSI/ISO C++.

6.	Программа должна успешно компилироваться компилятором gcc со следующими параметрами: gcc -O2 -Wall -Werror.

7.	Допускается использование только библиотек stdlib и STL.

8.	Текст программы должен быть снабжён исчерпывающими комментариями. Как минимум, должны быть прокомментированы все объявления функций, операторы ветвления и линейные участки программы.

9.	Программа должна быть написана самостоятельно. При заимствовании фрагментов кода из open-source проектов должен быть указан автор кода. Заимствовать код из решений предыдущего года не допускается. Если будет обнаружено, что несколько присланных решений написаны одним человеком, оценка будет снижена для всех похожих работ. Для анализа схожести кода будут использованы соответствующие инструментальные средства.

Последний срок сдачи задания - 07 октября. Методические указания по решению задания можно найти по адресу: http://lvk.cs.msu.su/~dimawolf/SoftwareReliability/Task01.pdf 

Программа для анализа:

int h;
void
f (int a, int b)
{
  int x, y;
  x = 9;
  y = 3;
  h = 3;
  h = a + y;
  if (y > 6)
    {
      if (x > 9)
        {
          y = 4;
        }
      if (h < a + x)
        {
          h = y;
        }
      x = 5;
    }
}

void
g (int a, int b)
{
  int x, y;
  x = 2;
  y = 7;
  h = 5;
  x = 4;
  h = b;
  if (h < y)
    {
      y = 0;
    }
  else
    {
      x = 3;
    }
  while (x > 4)
    {
      if (h > 0)
        break;
      x = 1;
      if (x > 5)
        {
          y = 6;
        }
      h = y;
    }
}